부분 구조 논리
- 논리 체계
부분 구조 논리(substructural logic)은 약화(weakening), 축약(contraction), 교환(exchange) 등의 구조 규칙(structural rule)이 없는 논리 체계를 말한다. 선형 논리(linear logic), 아핀 논리(affine logic), 순서 논리(ordered logic) 등이 있다.
부분 구조 논리(substructural logic)은 약화(weakening), 축약(contraction), 교환(exchange) 등의 구조 규칙(structural rule)이 없는 논리 체계를 말한다. 선형 논리(linear logic), 아핀 논리(affine logic), 순서 논리(ordered logic) 등이 있다.